Specification, Testing and Analysis of (Dynamic) Software Architecture with the Chemical Abstract Machine

Towards a chemical model for software architecture reconfiguration

The Chemical Abstract Machine is a general-purpose, simple, and intuitive programming model. Among other domains, it has been used for the specification and analysis of the computational behaviour of software architectures. In this paper we explore the ability of the formalism to express the dynamics of the architecture itself and to unify different approaches to reconfiguration within a single...

Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model

APRIORI BASED APPROACH for SOFTWARE SPECIFICATION MINING

Software is often built without specificatioon. Specification mining is a machine learning approach for discovering formal specifications of the protocols that code must obey when interacting with an application program interface or abstract data type. There has been much work on reverse engineering or mining software specifications using dynamic analysis techniques; i.e., analysis of software ...

Dynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture

Due to diversified and frequently changing demands from customers, technological advances and global competition, manufacturers rely on collaboration with their business partners to share costs, risks and expertise. How to take advantage of advancement of technologies to effectively support operations and create competitive advantage is critical for manufacturers to survive. To respond to these...

Software Architecture Evolution and the Chemical Abstract Machine

The Chemical Abstract Machine (CHAM) is a general-purpose, simple, intuitive and operational programming model that has been used for the speciication and analysis of the computational behaviour of software architectures. It therefore seems to be a good candidate to describe also the dynamics of the architecture itself and the coordination between the two processes. We also explore the ability ...